let destroy _ = ()
